Resource Management Method for a Compiler System of a Linear Logic Programming Language (Poster Abstract)

Linear logic developed by J.-Y. Girard [3] is expected to be applied for various elds in computer science. Linear logic is called \resource-conscious" because consumed hypotheses can never be used again. Therefore, a resource can be represented as a formula in linear logic rather than represented as a term. There have been several proposals for logic programming language based on linear logic: LO [1], ACL [5], Lolli [4], Lygon [7], and Forum [6]. Lolli 1 and Lygon 2 are implemented as interpreter systems (on SML and Prolog for Lolli, on Prolog for Lygon). But, none of the above have been implemented as a compiler system. In this extended abstract, we describe a resource management method of a WAM [8] based compiler system for a linear logic programming language called LLP, which is a subset of Lolli.